quasicompact set

拟紧集(合)